Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
The theory of (∞,1)-toposes, generalizing topos theory from category theory to (∞,1)-category theory: “geometric homotopy theory”.
-topos theory
An quick introduction is in part 3, 4 of
For origins of the notion of -topos itself see the references at (∞,1)-topos.
Early frameworks for Grothendieck (as opposed to “elementary”) -topoi are due Charles Rezk via model categories
and due to Toën–Vezzosi in two versions (preprints 2002), via simplically enriched categories and via Segal categories:
Bertrand Toën, Gabriele Vezzosi, Homotopical algebraic geometry. I. Topos theory, Adv. Math. 193 (2005) no. 2, 257–372 doi arXiv:math.AT/0207028
Bertrand Toën , Gabriele Vezzosi, Segal topoi and stacks over Segal categories, arXiv:math.AG/0212330
A general abstract conception of -topos theory in terms of (∞,1)-category theory was given in
The analog of the Elephant for -topos theory is still to be written.
Last revised on March 13, 2019 at 11:06:15. See the history of this page for a list of all contributions to it.